3.7.3 \(\int \frac {(a+a \sec (c+d x))^{5/2} (A+B \sec (c+d x)+C \sec ^2(c+d x))}{\sec ^{\frac {11}{2}}(c+d x)} \, dx\) [603]

3.7.3.1 Optimal result
3.7.3.2 Mathematica [A] (verified)
3.7.3.3 Rubi [A] (verified)
3.7.3.4 Maple [A] (verified)
3.7.3.5 Fricas [A] (verification not implemented)
3.7.3.6 Sympy [F(-1)]
3.7.3.7 Maxima [B] (verification not implemented)
3.7.3.8 Giac [F]
3.7.3.9 Mupad [B] (verification not implemented)

3.7.3.1 Optimal result

Integrand size = 45, antiderivative size = 284 \[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\frac {2 a^3 (1160 A+1364 B+1485 C) \sin (c+d x)}{3465 d \sec ^{\frac {3}{2}}(c+d x) \sqrt {a+a \sec (c+d x)}}+\frac {2 a^3 (2840 A+3212 B+3795 C) \sin (c+d x)}{3465 d \sqrt {\sec (c+d x)} \sqrt {a+a \sec (c+d x)}}+\frac {4 a^3 (2840 A+3212 B+3795 C) \sqrt {\sec (c+d x)} \sin (c+d x)}{3465 d \sqrt {a+a \sec (c+d x)}}+\frac {2 a^2 (32 A+44 B+33 C) \sqrt {a+a \sec (c+d x)} \sin (c+d x)}{231 d \sec ^{\frac {5}{2}}(c+d x)}+\frac {2 a (5 A+11 B) (a+a \sec (c+d x))^{3/2} \sin (c+d x)}{99 d \sec ^{\frac {7}{2}}(c+d x)}+\frac {2 A (a+a \sec (c+d x))^{5/2} \sin (c+d x)}{11 d \sec ^{\frac {9}{2}}(c+d x)} \]

output
2/99*a*(5*A+11*B)*(a+a*sec(d*x+c))^(3/2)*sin(d*x+c)/d/sec(d*x+c)^(7/2)+2/1 
1*A*(a+a*sec(d*x+c))^(5/2)*sin(d*x+c)/d/sec(d*x+c)^(9/2)+2/3465*a^3*(1160* 
A+1364*B+1485*C)*sin(d*x+c)/d/sec(d*x+c)^(3/2)/(a+a*sec(d*x+c))^(1/2)+2/34 
65*a^3*(2840*A+3212*B+3795*C)*sin(d*x+c)/d/sec(d*x+c)^(1/2)/(a+a*sec(d*x+c 
))^(1/2)+4/3465*a^3*(2840*A+3212*B+3795*C)*sin(d*x+c)*sec(d*x+c)^(1/2)/d/( 
a+a*sec(d*x+c))^(1/2)+2/231*a^2*(32*A+44*B+33*C)*sin(d*x+c)*(a+a*sec(d*x+c 
))^(1/2)/d/sec(d*x+c)^(5/2)
 
3.7.3.2 Mathematica [A] (verified)

Time = 7.08 (sec) , antiderivative size = 137, normalized size of antiderivative = 0.48 \[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\frac {2 a^3 \left (315 A+35 (32 A+11 B) \sec (c+d x)+5 (355 A+286 B+99 C) \sec ^2(c+d x)+3 (710 A+803 B+660 C) \sec ^3(c+d x)+(2840 A+3212 B+3795 C) \sec ^4(c+d x)+(5680 A+6424 B+7590 C) \sec ^5(c+d x)\right ) \sin (c+d x)}{3465 d \sec ^{\frac {9}{2}}(c+d x) \sqrt {a (1+\sec (c+d x))}} \]

input
Integrate[((a + a*Sec[c + d*x])^(5/2)*(A + B*Sec[c + d*x] + C*Sec[c + d*x] 
^2))/Sec[c + d*x]^(11/2),x]
 
output
(2*a^3*(315*A + 35*(32*A + 11*B)*Sec[c + d*x] + 5*(355*A + 286*B + 99*C)*S 
ec[c + d*x]^2 + 3*(710*A + 803*B + 660*C)*Sec[c + d*x]^3 + (2840*A + 3212* 
B + 3795*C)*Sec[c + d*x]^4 + (5680*A + 6424*B + 7590*C)*Sec[c + d*x]^5)*Si 
n[c + d*x])/(3465*d*Sec[c + d*x]^(9/2)*Sqrt[a*(1 + Sec[c + d*x])])
 
3.7.3.3 Rubi [A] (verified)

Time = 1.71 (sec) , antiderivative size = 298, normalized size of antiderivative = 1.05, number of steps used = 15, number of rules used = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {3042, 4574, 27, 3042, 4505, 27, 3042, 4505, 27, 3042, 4503, 3042, 4292, 3042, 4291}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(a \sec (c+d x)+a)^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {\left (a \csc \left (c+d x+\frac {\pi }{2}\right )+a\right )^{5/2} \left (A+B \csc \left (c+d x+\frac {\pi }{2}\right )+C \csc \left (c+d x+\frac {\pi }{2}\right )^2\right )}{\csc \left (c+d x+\frac {\pi }{2}\right )^{11/2}}dx\)

\(\Big \downarrow \) 4574

\(\displaystyle \frac {2 \int \frac {(\sec (c+d x) a+a)^{5/2} (a (5 A+11 B)+a (4 A+11 C) \sec (c+d x))}{2 \sec ^{\frac {9}{2}}(c+d x)}dx}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\int \frac {(\sec (c+d x) a+a)^{5/2} (a (5 A+11 B)+a (4 A+11 C) \sec (c+d x))}{\sec ^{\frac {9}{2}}(c+d x)}dx}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\int \frac {\left (\csc \left (c+d x+\frac {\pi }{2}\right ) a+a\right )^{5/2} \left (a (5 A+11 B)+a (4 A+11 C) \csc \left (c+d x+\frac {\pi }{2}\right )\right )}{\csc \left (c+d x+\frac {\pi }{2}\right )^{9/2}}dx}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 4505

\(\displaystyle \frac {\frac {2}{9} \int \frac {(\sec (c+d x) a+a)^{3/2} \left (3 (32 A+44 B+33 C) a^2+(56 A+44 B+99 C) \sec (c+d x) a^2\right )}{2 \sec ^{\frac {7}{2}}(c+d x)}dx+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {1}{9} \int \frac {(\sec (c+d x) a+a)^{3/2} \left (3 (32 A+44 B+33 C) a^2+(56 A+44 B+99 C) \sec (c+d x) a^2\right )}{\sec ^{\frac {7}{2}}(c+d x)}dx+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\frac {1}{9} \int \frac {\left (\csc \left (c+d x+\frac {\pi }{2}\right ) a+a\right )^{3/2} \left (3 (32 A+44 B+33 C) a^2+(56 A+44 B+99 C) \csc \left (c+d x+\frac {\pi }{2}\right ) a^2\right )}{\csc \left (c+d x+\frac {\pi }{2}\right )^{7/2}}dx+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 4505

\(\displaystyle \frac {\frac {1}{9} \left (\frac {2}{7} \int \frac {\sqrt {\sec (c+d x) a+a} \left ((1160 A+1364 B+1485 C) a^3+(776 A+836 B+1089 C) \sec (c+d x) a^3\right )}{2 \sec ^{\frac {5}{2}}(c+d x)}dx+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {1}{9} \left (\frac {1}{7} \int \frac {\sqrt {\sec (c+d x) a+a} \left ((1160 A+1364 B+1485 C) a^3+(776 A+836 B+1089 C) \sec (c+d x) a^3\right )}{\sec ^{\frac {5}{2}}(c+d x)}dx+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\frac {1}{9} \left (\frac {1}{7} \int \frac {\sqrt {\csc \left (c+d x+\frac {\pi }{2}\right ) a+a} \left ((1160 A+1364 B+1485 C) a^3+(776 A+836 B+1089 C) \csc \left (c+d x+\frac {\pi }{2}\right ) a^3\right )}{\csc \left (c+d x+\frac {\pi }{2}\right )^{5/2}}dx+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 4503

\(\displaystyle \frac {\frac {1}{9} \left (\frac {1}{7} \left (\frac {3}{5} a^3 (2840 A+3212 B+3795 C) \int \frac {\sqrt {\sec (c+d x) a+a}}{\sec ^{\frac {3}{2}}(c+d x)}dx+\frac {2 a^4 (1160 A+1364 B+1485 C) \sin (c+d x)}{5 d \sec ^{\frac {3}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}\right )+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\frac {1}{9} \left (\frac {1}{7} \left (\frac {3}{5} a^3 (2840 A+3212 B+3795 C) \int \frac {\sqrt {\csc \left (c+d x+\frac {\pi }{2}\right ) a+a}}{\csc \left (c+d x+\frac {\pi }{2}\right )^{3/2}}dx+\frac {2 a^4 (1160 A+1364 B+1485 C) \sin (c+d x)}{5 d \sec ^{\frac {3}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}\right )+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 4292

\(\displaystyle \frac {\frac {1}{9} \left (\frac {1}{7} \left (\frac {3}{5} a^3 (2840 A+3212 B+3795 C) \left (\frac {2}{3} \int \frac {\sqrt {\sec (c+d x) a+a}}{\sqrt {\sec (c+d x)}}dx+\frac {2 a \sin (c+d x)}{3 d \sqrt {\sec (c+d x)} \sqrt {a \sec (c+d x)+a}}\right )+\frac {2 a^4 (1160 A+1364 B+1485 C) \sin (c+d x)}{5 d \sec ^{\frac {3}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}\right )+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\frac {1}{9} \left (\frac {1}{7} \left (\frac {3}{5} a^3 (2840 A+3212 B+3795 C) \left (\frac {2}{3} \int \frac {\sqrt {\csc \left (c+d x+\frac {\pi }{2}\right ) a+a}}{\sqrt {\csc \left (c+d x+\frac {\pi }{2}\right )}}dx+\frac {2 a \sin (c+d x)}{3 d \sqrt {\sec (c+d x)} \sqrt {a \sec (c+d x)+a}}\right )+\frac {2 a^4 (1160 A+1364 B+1485 C) \sin (c+d x)}{5 d \sec ^{\frac {3}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}\right )+\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}\right )+\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

\(\Big \downarrow \) 4291

\(\displaystyle \frac {\frac {2 a^2 (5 A+11 B) \sin (c+d x) (a \sec (c+d x)+a)^{3/2}}{9 d \sec ^{\frac {7}{2}}(c+d x)}+\frac {1}{9} \left (\frac {6 a^3 (32 A+44 B+33 C) \sin (c+d x) \sqrt {a \sec (c+d x)+a}}{7 d \sec ^{\frac {5}{2}}(c+d x)}+\frac {1}{7} \left (\frac {2 a^4 (1160 A+1364 B+1485 C) \sin (c+d x)}{5 d \sec ^{\frac {3}{2}}(c+d x) \sqrt {a \sec (c+d x)+a}}+\frac {3}{5} a^3 (2840 A+3212 B+3795 C) \left (\frac {4 a \sin (c+d x) \sqrt {\sec (c+d x)}}{3 d \sqrt {a \sec (c+d x)+a}}+\frac {2 a \sin (c+d x)}{3 d \sqrt {\sec (c+d x)} \sqrt {a \sec (c+d x)+a}}\right )\right )\right )}{11 a}+\frac {2 A \sin (c+d x) (a \sec (c+d x)+a)^{5/2}}{11 d \sec ^{\frac {9}{2}}(c+d x)}\)

input
Int[((a + a*Sec[c + d*x])^(5/2)*(A + B*Sec[c + d*x] + C*Sec[c + d*x]^2))/S 
ec[c + d*x]^(11/2),x]
 
output
(2*A*(a + a*Sec[c + d*x])^(5/2)*Sin[c + d*x])/(11*d*Sec[c + d*x]^(9/2)) + 
((2*a^2*(5*A + 11*B)*(a + a*Sec[c + d*x])^(3/2)*Sin[c + d*x])/(9*d*Sec[c + 
 d*x]^(7/2)) + ((6*a^3*(32*A + 44*B + 33*C)*Sqrt[a + a*Sec[c + d*x]]*Sin[c 
 + d*x])/(7*d*Sec[c + d*x]^(5/2)) + ((2*a^4*(1160*A + 1364*B + 1485*C)*Sin 
[c + d*x])/(5*d*Sec[c + d*x]^(3/2)*Sqrt[a + a*Sec[c + d*x]]) + (3*a^3*(284 
0*A + 3212*B + 3795*C)*((2*a*Sin[c + d*x])/(3*d*Sqrt[Sec[c + d*x]]*Sqrt[a 
+ a*Sec[c + d*x]]) + (4*a*Sqrt[Sec[c + d*x]]*Sin[c + d*x])/(3*d*Sqrt[a + a 
*Sec[c + d*x]])))/5)/7)/9)/(11*a)
 

3.7.3.3.1 Defintions of rubi rules used

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 4291
Int[Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_)]/Sqrt[csc[(e_.) + (f_.)*(x_)] 
*(d_.)], x_Symbol] :> Simp[-2*a*(Cot[e + f*x]/(f*Sqrt[a + b*Csc[e + f*x]]*S 
qrt[d*Csc[e + f*x]])), x] /; FreeQ[{a, b, d, e, f}, x] && EqQ[a^2 - b^2, 0]
 

rule 4292
Int[(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) 
 + (a_)], x_Symbol] :> Simp[a*Cot[e + f*x]*((d*Csc[e + f*x])^n/(f*n*Sqrt[a 
+ b*Csc[e + f*x]])), x] + Simp[a*((2*n + 1)/(2*b*d*n))   Int[Sqrt[a + b*Csc 
[e + f*x]]*(d*Csc[e + f*x])^(n + 1), x], x] /; FreeQ[{a, b, d, e, f}, x] && 
 EqQ[a^2 - b^2, 0] && LtQ[n, -2^(-1)] && IntegerQ[2*n]
 

rule 4503
Int[(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) 
 + (a_)]*(csc[(e_.) + (f_.)*(x_)]*(B_.) + (A_)), x_Symbol] :> Simp[A*b^2*Co 
t[e + f*x]*((d*Csc[e + f*x])^n/(a*f*n*Sqrt[a + b*Csc[e + f*x]])), x] + Simp 
[(A*b*(2*n + 1) + 2*a*B*n)/(2*a*d*n)   Int[Sqrt[a + b*Csc[e + f*x]]*(d*Csc[ 
e + f*x])^(n + 1), x], x] /; FreeQ[{a, b, d, e, f, A, B}, x] && NeQ[A*b - a 
*B, 0] && EqQ[a^2 - b^2, 0] && NeQ[A*b*(2*n + 1) + 2*a*B*n, 0] && LtQ[n, 0]
 

rule 4505
Int[(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*(csc[(e_.) + (f_.)*(x_)]*(b_.) + ( 
a_))^(m_)*(csc[(e_.) + (f_.)*(x_)]*(B_.) + (A_)), x_Symbol] :> Simp[a*A*Cot 
[e + f*x]*(a + b*Csc[e + f*x])^(m - 1)*((d*Csc[e + f*x])^n/(f*n)), x] - Sim 
p[b/(a*d*n)   Int[(a + b*Csc[e + f*x])^(m - 1)*(d*Csc[e + f*x])^(n + 1)*Sim 
p[a*A*(m - n - 1) - b*B*n - (a*B*n + A*b*(m + n))*Csc[e + f*x], x], x], x] 
/; FreeQ[{a, b, d, e, f, A, B}, x] && NeQ[A*b - a*B, 0] && EqQ[a^2 - b^2, 0 
] && GtQ[m, 1/2] && LtQ[n, -1]
 

rule 4574
Int[((A_.) + csc[(e_.) + (f_.)*(x_)]*(B_.) + csc[(e_.) + (f_.)*(x_)]^2*(C_. 
))*(csc[(e_.) + (f_.)*(x_)]*(d_.))^(n_)*(csc[(e_.) + (f_.)*(x_)]*(b_.) + (a 
_))^(m_), x_Symbol] :> Simp[A*Cot[e + f*x]*(a + b*Csc[e + f*x])^m*((d*Csc[e 
 + f*x])^n/(f*n)), x] - Simp[1/(b*d*n)   Int[(a + b*Csc[e + f*x])^m*(d*Csc[ 
e + f*x])^(n + 1)*Simp[a*A*m - b*B*n - b*(A*(m + n + 1) + C*n)*Csc[e + f*x] 
, x], x], x] /; FreeQ[{a, b, d, e, f, A, B, C, m}, x] && EqQ[a^2 - b^2, 0] 
&&  !LtQ[m, -2^(-1)] && (LtQ[n, -2^(-1)] || EqQ[m + n + 1, 0])
 
3.7.3.4 Maple [A] (verified)

Time = 1.58 (sec) , antiderivative size = 181, normalized size of antiderivative = 0.64

method result size
default \(\frac {2 a^{2} \left (315 A \cos \left (d x +c \right )^{5}+1120 A \cos \left (d x +c \right )^{4}+385 B \cos \left (d x +c \right )^{4}+1775 A \cos \left (d x +c \right )^{3}+1430 B \cos \left (d x +c \right )^{3}+495 C \cos \left (d x +c \right )^{3}+2130 A \cos \left (d x +c \right )^{2}+2409 B \cos \left (d x +c \right )^{2}+1980 C \cos \left (d x +c \right )^{2}+2840 A \cos \left (d x +c \right )+3212 B \cos \left (d x +c \right )+3795 C \cos \left (d x +c \right )+5680 A +6424 B +7590 C \right ) \sqrt {a \left (1+\sec \left (d x +c \right )\right )}\, \tan \left (d x +c \right )}{3465 d \left (\cos \left (d x +c \right )+1\right ) \sec \left (d x +c \right )^{\frac {3}{2}}}\) \(181\)
parts \(\frac {2 A \,a^{2} \left (63 \cos \left (d x +c \right )^{5}+224 \cos \left (d x +c \right )^{4}+355 \cos \left (d x +c \right )^{3}+426 \cos \left (d x +c \right )^{2}+568 \cos \left (d x +c \right )+1136\right ) \sqrt {a \left (1+\sec \left (d x +c \right )\right )}\, \tan \left (d x +c \right )}{693 d \left (\cos \left (d x +c \right )+1\right ) \sec \left (d x +c \right )^{\frac {3}{2}}}+\frac {2 B \,a^{2} \left (35 \cos \left (d x +c \right )^{4}+130 \cos \left (d x +c \right )^{3}+219 \cos \left (d x +c \right )^{2}+292 \cos \left (d x +c \right )+584\right ) \sqrt {a \left (1+\sec \left (d x +c \right )\right )}\, \tan \left (d x +c \right )}{315 d \left (\cos \left (d x +c \right )+1\right ) \sec \left (d x +c \right )^{\frac {3}{2}}}+\frac {2 C \,a^{2} \left (3 \cos \left (d x +c \right )^{3}+12 \cos \left (d x +c \right )^{2}+23 \cos \left (d x +c \right )+46\right ) \sqrt {a \left (1+\sec \left (d x +c \right )\right )}\, \tan \left (d x +c \right )}{21 d \left (\cos \left (d x +c \right )+1\right ) \sec \left (d x +c \right )^{\frac {3}{2}}}\) \(257\)

input
int((a+a*sec(d*x+c))^(5/2)*(A+B*sec(d*x+c)+C*sec(d*x+c)^2)/sec(d*x+c)^(11/ 
2),x,method=_RETURNVERBOSE)
 
output
2/3465*a^2/d*(315*A*cos(d*x+c)^5+1120*A*cos(d*x+c)^4+385*B*cos(d*x+c)^4+17 
75*A*cos(d*x+c)^3+1430*B*cos(d*x+c)^3+495*C*cos(d*x+c)^3+2130*A*cos(d*x+c) 
^2+2409*B*cos(d*x+c)^2+1980*C*cos(d*x+c)^2+2840*A*cos(d*x+c)+3212*B*cos(d* 
x+c)+3795*C*cos(d*x+c)+5680*A+6424*B+7590*C)*(a*(1+sec(d*x+c)))^(1/2)/(cos 
(d*x+c)+1)/sec(d*x+c)^(3/2)*tan(d*x+c)
 
3.7.3.5 Fricas [A] (verification not implemented)

Time = 0.27 (sec) , antiderivative size = 173, normalized size of antiderivative = 0.61 \[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\frac {2 \, {\left (315 \, A a^{2} \cos \left (d x + c\right )^{6} + 35 \, {\left (32 \, A + 11 \, B\right )} a^{2} \cos \left (d x + c\right )^{5} + 5 \, {\left (355 \, A + 286 \, B + 99 \, C\right )} a^{2} \cos \left (d x + c\right )^{4} + 3 \, {\left (710 \, A + 803 \, B + 660 \, C\right )} a^{2} \cos \left (d x + c\right )^{3} + {\left (2840 \, A + 3212 \, B + 3795 \, C\right )} a^{2} \cos \left (d x + c\right )^{2} + 2 \, {\left (2840 \, A + 3212 \, B + 3795 \, C\right )} a^{2} \cos \left (d x + c\right )\right )} \sqrt {\frac {a \cos \left (d x + c\right ) + a}{\cos \left (d x + c\right )}} \sin \left (d x + c\right )}{3465 \, {\left (d \cos \left (d x + c\right ) + d\right )} \sqrt {\cos \left (d x + c\right )}} \]

input
integrate((a+a*sec(d*x+c))^(5/2)*(A+B*sec(d*x+c)+C*sec(d*x+c)^2)/sec(d*x+c 
)^(11/2),x, algorithm="fricas")
 
output
2/3465*(315*A*a^2*cos(d*x + c)^6 + 35*(32*A + 11*B)*a^2*cos(d*x + c)^5 + 5 
*(355*A + 286*B + 99*C)*a^2*cos(d*x + c)^4 + 3*(710*A + 803*B + 660*C)*a^2 
*cos(d*x + c)^3 + (2840*A + 3212*B + 3795*C)*a^2*cos(d*x + c)^2 + 2*(2840* 
A + 3212*B + 3795*C)*a^2*cos(d*x + c))*sqrt((a*cos(d*x + c) + a)/cos(d*x + 
 c))*sin(d*x + c)/((d*cos(d*x + c) + d)*sqrt(cos(d*x + c)))
 
3.7.3.6 Sympy [F(-1)]

Timed out. \[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\text {Timed out} \]

input
integrate((a+a*sec(d*x+c))**(5/2)*(A+B*sec(d*x+c)+C*sec(d*x+c)**2)/sec(d*x 
+c)**(11/2),x)
 
output
Timed out
 
3.7.3.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 1266 vs. \(2 (248) = 496\).

Time = 0.55 (sec) , antiderivative size = 1266, normalized size of antiderivative = 4.46 \[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\text {Too large to display} \]

input
integrate((a+a*sec(d*x+c))^(5/2)*(A+B*sec(d*x+c)+C*sec(d*x+c)^2)/sec(d*x+c 
)^(11/2),x, algorithm="maxima")
 
output
1/110880*(5*sqrt(2)*(31878*a^2*cos(10/11*arctan2(sin(11/2*d*x + 11/2*c), c 
os(11/2*d*x + 11/2*c)))*sin(11/2*d*x + 11/2*c) + 8778*a^2*cos(8/11*arctan2 
(sin(11/2*d*x + 11/2*c), cos(11/2*d*x + 11/2*c)))*sin(11/2*d*x + 11/2*c) + 
 3465*a^2*cos(6/11*arctan2(sin(11/2*d*x + 11/2*c), cos(11/2*d*x + 11/2*c)) 
)*sin(11/2*d*x + 11/2*c) + 1287*a^2*cos(4/11*arctan2(sin(11/2*d*x + 11/2*c 
), cos(11/2*d*x + 11/2*c)))*sin(11/2*d*x + 11/2*c) + 385*a^2*cos(2/11*arct 
an2(sin(11/2*d*x + 11/2*c), cos(11/2*d*x + 11/2*c)))*sin(11/2*d*x + 11/2*c 
) - 31878*a^2*cos(11/2*d*x + 11/2*c)*sin(10/11*arctan2(sin(11/2*d*x + 11/2 
*c), cos(11/2*d*x + 11/2*c))) - 8778*a^2*cos(11/2*d*x + 11/2*c)*sin(8/11*a 
rctan2(sin(11/2*d*x + 11/2*c), cos(11/2*d*x + 11/2*c))) - 3465*a^2*cos(11/ 
2*d*x + 11/2*c)*sin(6/11*arctan2(sin(11/2*d*x + 11/2*c), cos(11/2*d*x + 11 
/2*c))) - 1287*a^2*cos(11/2*d*x + 11/2*c)*sin(4/11*arctan2(sin(11/2*d*x + 
11/2*c), cos(11/2*d*x + 11/2*c))) - 385*a^2*cos(11/2*d*x + 11/2*c)*sin(2/1 
1*arctan2(sin(11/2*d*x + 11/2*c), cos(11/2*d*x + 11/2*c))) + 126*a^2*sin(1 
1/2*d*x + 11/2*c) + 385*a^2*sin(9/11*arctan2(sin(11/2*d*x + 11/2*c), cos(1 
1/2*d*x + 11/2*c))) + 1287*a^2*sin(7/11*arctan2(sin(11/2*d*x + 11/2*c), co 
s(11/2*d*x + 11/2*c))) + 3465*a^2*sin(5/11*arctan2(sin(11/2*d*x + 11/2*c), 
 cos(11/2*d*x + 11/2*c))) + 8778*a^2*sin(3/11*arctan2(sin(11/2*d*x + 11/2* 
c), cos(11/2*d*x + 11/2*c))) + 31878*a^2*sin(1/11*arctan2(sin(11/2*d*x + 1 
1/2*c), cos(11/2*d*x + 11/2*c))))*A*sqrt(a) + 22*sqrt(2)*(8190*a^2*cos(...
 
3.7.3.8 Giac [F]

\[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\int { \frac {{\left (C \sec \left (d x + c\right )^{2} + B \sec \left (d x + c\right ) + A\right )} {\left (a \sec \left (d x + c\right ) + a\right )}^{\frac {5}{2}}}{\sec \left (d x + c\right )^{\frac {11}{2}}} \,d x } \]

input
integrate((a+a*sec(d*x+c))^(5/2)*(A+B*sec(d*x+c)+C*sec(d*x+c)^2)/sec(d*x+c 
)^(11/2),x, algorithm="giac")
 
output
sage0*x
 
3.7.3.9 Mupad [B] (verification not implemented)

Time = 23.95 (sec) , antiderivative size = 404, normalized size of antiderivative = 1.42 \[ \int \frac {(a+a \sec (c+d x))^{5/2} \left (A+B \sec (c+d x)+C \sec ^2(c+d x)\right )}{\sec ^{\frac {11}{2}}(c+d x)} \, dx=\frac {\sqrt {a-\frac {a}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}}\,\left (2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}-1\right )\,\left (\frac {A\,a^2\,\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,\left (-2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}+1\right )}{88\,d}+\frac {a^2\,\sin \left (\frac {7\,c}{2}+\frac {7\,d\,x}{2}\right )\,\left (-2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}+1\right )\,\left (13\,A+10\,B+4\,C\right )}{56\,d}+\frac {a^2\,\sin \left (\frac {3\,c}{2}+\frac {3\,d\,x}{2}\right )\,\left (-2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}+1\right )\,\left (19\,A+20\,B+22\,C\right )}{12\,d}+\frac {a^2\,\sin \left (\frac {5\,c}{2}+\frac {5\,d\,x}{2}\right )\,\left (-2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}+1\right )\,\left (25\,A+24\,B+20\,C\right )}{40\,d}+\frac {a^2\,\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )\,\left (-2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}+1\right )\,\left (23\,A+26\,B+30\,C\right )}{4\,d}+\frac {a^2\,\sin \left (\frac {9\,c}{2}+\frac {9\,d\,x}{2}\right )\,\left (5\,A+2\,B\right )\,\left (-2\,{\sin \left (\frac {11\,c}{4}+\frac {11\,d\,x}{4}\right )}^2+\sin \left (\frac {11\,c}{2}+\frac {11\,d\,x}{2}\right )\,1{}\mathrm {i}+1\right )}{72\,d}\right )}{2\,\sqrt {-\frac {1}{2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1}}\,\left (2\,{\sin \left (\frac {c}{4}+\frac {d\,x}{4}\right )}^2-1\right )} \]

input
int(((a + a/cos(c + d*x))^(5/2)*(A + B/cos(c + d*x) + C/cos(c + d*x)^2))/( 
1/cos(c + d*x))^(11/2),x)
 
output
((a - a/(2*sin(c/2 + (d*x)/2)^2 - 1))^(1/2)*(sin((11*c)/2 + (11*d*x)/2)*1i 
 + 2*sin((11*c)/4 + (11*d*x)/4)^2 - 1)*((A*a^2*sin((11*c)/2 + (11*d*x)/2)* 
(sin((11*c)/2 + (11*d*x)/2)*1i - 2*sin((11*c)/4 + (11*d*x)/4)^2 + 1))/(88* 
d) + (a^2*sin((7*c)/2 + (7*d*x)/2)*(sin((11*c)/2 + (11*d*x)/2)*1i - 2*sin( 
(11*c)/4 + (11*d*x)/4)^2 + 1)*(13*A + 10*B + 4*C))/(56*d) + (a^2*sin((3*c) 
/2 + (3*d*x)/2)*(sin((11*c)/2 + (11*d*x)/2)*1i - 2*sin((11*c)/4 + (11*d*x) 
/4)^2 + 1)*(19*A + 20*B + 22*C))/(12*d) + (a^2*sin((5*c)/2 + (5*d*x)/2)*(s 
in((11*c)/2 + (11*d*x)/2)*1i - 2*sin((11*c)/4 + (11*d*x)/4)^2 + 1)*(25*A + 
 24*B + 20*C))/(40*d) + (a^2*sin(c/2 + (d*x)/2)*(sin((11*c)/2 + (11*d*x)/2 
)*1i - 2*sin((11*c)/4 + (11*d*x)/4)^2 + 1)*(23*A + 26*B + 30*C))/(4*d) + ( 
a^2*sin((9*c)/2 + (9*d*x)/2)*(5*A + 2*B)*(sin((11*c)/2 + (11*d*x)/2)*1i - 
2*sin((11*c)/4 + (11*d*x)/4)^2 + 1))/(72*d)))/(2*(-1/(2*sin(c/2 + (d*x)/2) 
^2 - 1))^(1/2)*(2*sin(c/4 + (d*x)/4)^2 - 1))